软件可信度量中可信因子的选取方法

可信计算中,应用软件可信度量是信任链中重要的一环,由于现代软件规模过于复杂,要确保应用软件可信而不能仅仅依靠软件数据完整性度量。所以,在软件数据完整性的基础上,结合软件可靠性及可用性多个方面综合考虑可信因子的提取,为后续专家系统的分类识别提供可信量化依据,解决对未知软件可信程度进行预测的问题。     

6-UPU电动平台安全性设计分析

在分析6-UPU电动平台运动学反解基础上,给出了平台速度、力Jacobian矩阵,针对影响平台安全性相关因素,考虑双端虎克铰这种特殊结构,分析了结构约束条件,找出平台16种极限工作位置,提出最大力奇异和最大力非奇异空间的判断方法,建立了一种新的平台工作安全性检验算法,并通过具体实例进行了分析验证。实例表明,此方法对类似构型的结构设计及安全稳定性定量分析具有重要的借鉴意义。     

联轴器法兰端面齿的设计及有限元分析

提出了联轴器法兰锥形端面齿的几何尺寸设计方法,建立了端面齿及连接螺栓的强度校核公式,并进行了有限元分析验证。该方法能用于Ф500～Ф1 200 mm联轴器法兰端面齿的系列化一般设计,也可供小规格联轴器法兰端面齿作设计参考。     

自动气象站移动计量检定系统设计与实现

根据自动气象站计量检定的特点,研究设计了一种自动气象站移动计量检定系统,可实现自动气象站雨量传感器和数据采集器的现场校准,以及实验室校准后的气压、气温、地温、湿度、风向、风速、蒸发、日照、辐射等传感器的现场核查。本文所设计的自动气象站移动计量检定系统,提高了气象计量检定的工作效率,保证了自动气象站的正常运行和数据的准确可靠。     

综合法统一曲线在广西地区适用性的研究

通过两种不同骨料品种及两种不同拌和方式的混凝土的标准试件的试验数据,对综合法全国统一曲线在广西地区的适用性进行了分析研究,结果发现,全国《超声回弹综合法检测混凝土强度技术规程》(CECS02:2005)(简称综合法规程)的统一测强曲线(公式)在广西地区应用的误差较大,远远超出了规程规定的误差限值15%,其中,当混凝土强度小于20MPa时,统一曲线的计算值偏大,而当混凝土强度大于20MPa时,统一曲线的计算值偏小。因此,全国规程(CECS02:2005)中的统一测强曲线不适用于广西地区,需另外建立计算曲线,同样在其他地区,也需要进行曲线误差验证,当误差满足规程要求时,可以使用统一曲线进行混凝土强度的评定,否则,必须另行制定地方曲线,以免对混凝土抗压强度出现误判。     

合同能源管理在厦门某商场建筑节能中的应用

阐述了合同能源管理在厦门某商场建筑中的应用,根据历史能耗数据分析了该商场在冷源、水系统和照明上的节能潜力,指出商场的空调系统无法根据室内实际负荷来调节冷量输出,水泵流量与制冷机不匹配,灯具不是高效的照明系统等问题,给出了相对应的节能解决方案,并针对每种节能解决方案进行了节能量计算,尤其是对于离心式冷水机组加装VSD(Variable Speed Driver)后的节能量的计算方法进行了讨论,经过计算,得出离心式冷水机组加装VSD后在部分负荷下可以节能20%左右。     

钢板-混凝土组合梁受力性能数值分析

利用ANSYS软件,建立了钢板-混凝土组合粱的三维有限元数值分析模型,该模型考虑了材料非线性,模拟结果与实验数据比较,吻合较好.结果表明,所建立的模型是有效的.利用该模型,对钢板-混凝土组合梁的受力性能进行了参数分析,为钢板-混凝土组合粱的设计及应用提供了参考依据.     

TSLV：基于时间切片的车载网络位置验证方法(英文)

Position-spoofing-based attacks seriously threaten the security of Vehicular Ad Hoc Network(VANET).An effective solution to detect position spoofing is location verification.However,since vehicles move fast and the topology changes quickly in VANET,the static location verification method in Wireless Sensor Network(WSN) is not suitable for VANET.Taking into account the dynamic changing topology of VANET and collusion,we propose a Time-Slice-based Location Verification scheme,named TSLV,to resist position spo...     

RapidIO应用系统及其验证模型的设计与测试

针对传统嵌入式系统中互连通信的问题,提出一种可用于嵌入式系统内部通信的基于RapidIO的应用系统及其验证模型。该方案采用Altera公司的IP核和Cyclone系列FPGA,建立了串行RapidIO(SRIO)接口通信系统,并对其功能进行验证。详细分析了RapidIO应用系统及其验证模型的功能结构和运行原理,为提高嵌入式系统内部模块的通信速率提供了解决方案。     

Verification of three‐dimensional anisotropic adaptive processes

A verification methodology for adaptive processes is devised. The mathematical claims made during the process are identified and measures are presented in order to verify that the mathematical equations are solved correctly. The analysis is based on a formal definition of the optimality of the adaptive process in the case of the control of the L^∞‐norm of the interpolation error. The process requires a reconstruction that is verified using a proper norm. The process also depends on mesh adaptation toolkits in order to generate adapted meshes. In this case, the non‐conformity measure is used to evaluate how well the adapted meshes conform to the size specification map at each iteration. Finally, the adaptive process should converge toward an optimal mesh. The optimality of the mesh is measured using the standard deviation of the element‐wise value of the L^∞‐norm of the interpolation error. The results compare the optimality of an anisotropic process to an isotropic process and to uniform refinement on highly anisotropic 2D and 3D test cases. Copyright © 2011 John Wiley & Sons, Ltd.